LOGIC AND FORMALISM

OntoDLP: a Logic Formalism for Knowledge Representation

This paper provides an introduction to knowledge representation using OntoDLP, a formalism which combines the full computational power of Disjunctive Logic Programming (DLP) with suitable abstraction mechanisms for the representation of complex objects and default reasoning. The paper does not provide a formal definition of the language, rather it is intended as an informal presentation of its ...

Reflections on Formalism and Reductionism in Logic and Computer Science

A Modal Logic Formalism for Distributed and Parallel Knowledge Bases

Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distribute...

Incorporating Inheritance and Feature Structures into a Logic Grammar Formalism

Hassan Ait-Kaci introduced the #/-term, an informational structure resembling feature-based functional structures but which also includes taxonomic inheritance (Ait-Kaci, 1984). We describe e-terms and how they have been incorporated into the Logic Grammar formalism. The result, which we call Inheritance Grammar, is a proper superset of DCG and includes many features of PATR-II. Its taxo-nomic ...

A Logic-Based Formalism to Model and Analyze Workflow Executions

We describe a new approach to workflow analysis, which combines a rich graph representation of workflow schemes with simple (i.e., stratified), yet powerful DATALOG rules to express complex properties and constraints on executions. Both the graph representation and the DATALOG rules are mapped into a unique program in DATALOG, that is a recent extension of DATALOG for handling events. This mapp...